Buy Used and New Thorsten Altenkirch Books

Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers: 1657 (Lecture Notes in Computer Science)

by Thorsten Altenkirch,Wolfgang Naraschewski,Bernhard Reus

ISBN 13: 9783540665373

Format: Paperback (220 pages)
Publisher: Springer
Published: 22 Sep 1999

Save for later

Conceptual Programming with Python

by Thorsten Altenkirch,Isaac Triguero

ISBN 13: 9780244822767

Format: Paperback (260 pages)
Publisher: lulu.com
Published: 08 Apr 2020

Save for later